perm filename CMU10.360[360,GF]2 blob sn#848988 filedate 1987-11-22 generic text, type T, neo UTF8
{`dα&Q*Dλ#∪ie ⊂≠nW 8≥.B_N'β8↔&∩p→G#~L&d 0EC⊃ 
↓@P S@0 @@4h↓A@⊂λ↓S0@α∪0H↓R`0P↓R`0P↓R@@P↓R@@P↓R@@P↓R@@P↓R@@P↓R@@P↓R@@P↓A∀X↓B@0 R`0P↓A∀`↓B 0 S0@α↓∀h↓A@⊂⊂↓@`∀p↓A⊂ ↓`∃αA@D("_BA ⊃λ@@_%↓i 8&A	`_'i`_'i`_'i`_'i`_'i`_↓A	`_@@0_'`⊂λα@i` β@i`_∧i`_∧@i`_∧@i`_∧A	`_∧A	`_∧A	`_∧A	`_∧A	`_∧A	`_∧A	p⊂∧@ip_∧ip_β@j⊂β@j⊂⊂α@j ⊂↓@j0("Q1_¬α@8β∪`0(S@ 0↓S  0αS00αR`@0αR`0@↓R@DPα∩@DPα∩@DPα∩@DX↓R`@hS0`S  `S@ H↓∪`0(↓∀ d("→αaH⊃λA`_*↓j@8+A_,k_,k_,k_,k_,j(↓@i`_α  _&@``λ@i@_∧↓	@_∧@i0_¬i0_¬i  ¬i  ¬i  ¬i  ¬i  ¬i  ¬i  ¬`@λ%@a _α)0_¬`@λ&a⊂_α)@_∧↓@λ&@``λ↓`0λ'`@λα@0λ(↓ ` "QQ_¬α@8αS`0 S 08S0HR`@HR`0PR@@PR@@@↓∩ADPα∩@DPα∩@DX↓R`D`↓C ∀`↓C∀h↓B`∀p↓α $x↓A %λβ⊃(F0πCeB⊂∧↓*⊂⊂↓j⊂↓↓*⊂↓↓)p_↓↓)p_↓@ip_'@ip_'@ip_'@ip_'@i0`%C
_(j_(j_(j_(j_(j_(j_(j_(@j⊂_(@j⊂_(@j⊂_(@j⊂⊂%@`0⊂%↓  ⊂%↓  ⊂%↓  λ%@` ⊂&↓λT 3Dα1p
↓@@ S@0_↓ 4h↓A ⊂λ↓S08α∪0@↓R`0H↓R`0H↓R@@H↓R@@H↓R@@H↓R@@H↓R@@H↓R@@H↓R@@H↓R`0H↓R`0H↓S0@↓S08α∪ 0(@ 4p↓@` λ↓T@_↓U`58↓U`58↓S0@↓R`P8↓R`P0↓R`P0↓∪0(↓S@t("~β⊃H⊃λ@@_%↓i 8&A	`_'i`_'i`_'i`_'i`_'i`_α↓)`_↓@@_'`⊂λβ@i` ∧i` ∧@i`_¬i`_¬i`_¬i`_¬i`_¬i`_¬i`_¬i`_¬i`_¬`@λ'a⊂_α@)`_∧@`Pλ'a⊂_α@)`_∧@`Pλ'a ⊂α)`_¬@@0λ'@!P "Q
⊂hπλ$⊂(↓S@TpαS@Tx↓Qa⊂α∩`⊂_↓∩`⊂ ↓∩@⊂(↓R@⊂(↓R@⊂(↓R@⊂(↓S`4x↓S`4x↓S`4x↓S`0 S@0(S@0(S@0(S@0(S`  T _T D("~A0X∃H p_(↓*((↓*⊂_#B@ &@ 0⊂& @_& P_%@ `_%@ `_%@ `_)j _)j _)j _)j _)j _)j _)j _)j _)j _%@`@_%↓ 0⊂%↓  _%↓  ⊂%@` ⊂&↓(T 5EBb⊂⊃↓4PβR@thα∪@4p↓S@4p↓S@4p↓S@4p↓S@4p↓S@08α∪@00A$p↓A ⊂ ↓S@0 ATp↓A⊂ αS@0_A Tp↓@@⊂8↓S@0λS@Dp∧∪@0_↓S@0(↓∪@0(↓S@00↓A ∀p↓A@0(S@00↓A ∀p↓A@0(S@08↓↓ ∀p↓A`0 S@0@↓`∀xB`4("≠↓0X⊃λ@@_%↓i 8&A	`_'i`_'i`_'i`_'i`_'i`_'i`_'i`_'i`_'i`_'i`_'i`_'`0λ'`0λ'`0λ'`0λ'`0λ'@` λ(@ λ(@hT 6J¬⊃ 
 @8βαTP@` (A  (↓↓4P@`0_A` _A`4PA0λB0λB4PA@Pαα 4PA@P↓B@4PA0X↓B@4x↓B`0P↓S`0X↓B@4x↓B`0P↓S`0X↓B@4x↓B`0P↓S`0X↓B@4x↓B`0P↓A∀x↓B`0H↓A ∀x↓B`0H↓A ∀x↓B`0H↓A ∀x↓B`0H↓A ∀x↓B`0P↓↓∀x↓B`0X↓`∃C ⊂hα⊃(Fp
εbA Ap(% 0⊂α@@_% 0_↓ p_% @ ∧i λα↓↓⊂_% @_¬i λαa _'@a _'@a _'@a _'@a _'@a _'@a _'@a _α)p_∧@`Pλ'@a⊂_α@)p_∧@`Pλ'@a⊂_α@)p_¬@@λ'@a0⊂↓@*λεAλT 7Eαq 
↓`dx↓A4p↓α$h↓B4`↓B@4Xαα@DX↓C4PαβDPαβDPαβDPαβDPαβDPαβDPαβDX↓C4Xαα@D`↓B@4h↓B4p↓α$x↓A5λβ⊃(G¬ca A`(% 0⊂α @_% 0_↓ `_% @ ∧i λαa⊂_% @_¬i λαa _'@a  '@a  '@a  '@a  '@a  '@a  '@a  '@a _'@a _'@a⊂_'A↓_'@`⊂λβip_↓ @_'@`0('@ip_'@ip_'@ip_'@ip_&αI@P"Q∞⊃ GB@0α↓ ∀p↓@` ⊂↓∪ 0(@@$`↓A`D`↓B4X↓B 4X↓B 4Pαα 4Pαα 4Pαα 4Pαα 4Pαα 4Pαα 4Pαα 4X↓B 4X↓B 4`↓B4`↓A`Dh↓A ⊂λ↓S@0_↓ 5α`58↓U`58↓U`58↓U`58↓U`5_¬Ta4("≤B1 
¬⊂ β↓) λ↓@@0⊂α@) λ↓@`⊂λβi λα↓P(% @_β↓) λα``(% @_β@ip_'@ip_'@ip_'@ip_'@ip_'@ip_'@ip_((T 9Dα! 
↓ dp↓↓ ∀hB∀`↓↓@D`↓↓@D`↓↓@D`↓A@$h↓∪ dp∧∀↓¬(α∃`$X↓B 4PαB $PαB $PαB $Pαα@∀XB`$`↓↓`4p∧⊃(G λβcapβ@*_(j_(j_(j_(j_%βI p(j_(j_(j_(j_(j_(j_β*_β*_β*_β*_α@*⊂_α* ⊂↓@*0 "Q∞QH
¬α@⊂αβ∀X@` P↓R`⊂ ↓α 4PA 0@↓R@⊂(↓B4PA 0@↓R@⊂(↓B4x↓B 4x↓B 4x↓B 4x↓B 4x↓B 4x↓B 4x↓B 0 S`0H↓A∀x↓B 0 T H↓A∃↓A`@ T  8@ 0_T@0 @` _UP(α⊃(G0
¬"A ↓↓↓⊂⊂%@ 0⊂βA	0λα@`(% P_β↓) λα@a_% P_∧@I λα@a⊂⊂'@a0λ'@a0λ'@a0λ'@a0λ'@a0λ'@a0λ'@a0λ'@a λ'@a λ(a⊂λ(aλ(@`pλ)`@⊂*↓(T ;Gd↓ 
@@`A`$X@` P↓A DXA H↓A TPA 0@↓A@TPA 0@↓B4PA 0@↓B $PA 0@↓B $x↓B 0PS`0H↓B@∀x↓B 0PS`0H↓B@∀x↓B 0PS`0H↓B@∀x↓B 0PS`0H↓B ∀x↓B 0HT0@↓B ∃↓B@8T 08@  8T@0(@` (U`0αQ(G@
EBA α↓P &@0⊂↓@ @⊂%@ `⊂↓ 0_%@ p_↓A) λ∧`0(%!_↓A) λ∧`@_)@j0_)@j0_)@j0_)@aλ&`@_∧)0(↓@aλ%A 0_∧)0(↓@`pλ&`0λ↓@`λ&@@λ↓@@0⊂'↓P "Q∂⊃_
πB@⊂αα`∀X@` H↓R`⊂ ↓α4PA 08↓R@⊂(↓A`4PA 08↓R@⊂(↓A`4x↓B4x↓B4x↓B4x↓B4x↓B4x↓B4x↓B4x↓B4x↓B5↓α5↓A`5λ↓↓@E⊂↓↓⊂λ↓T`P⊂↓V@5P↓T ⊂@↓T08↓∪`P(↓S`P(↓S`@0↓∀ 0↓∀ ⊂(↓∀@T("≡B↓_
¬0_∧)@0β)0@α) ⊂αAi λ¬@) λ¬*Pλ**0λ)*⊂λ()pλ'! λ&@!0λ&@!0λ&!0⊂%@ ⊂(α@I0⊂αα	 λβAI λ∧hT λβ!a 
@DX@`$XA$PA 4PA 4PA 4PA 4x↓S`4x↓S`4x↓S`4x↓A∀p↓A ∀p↓A ∀p↓A ∀p↓A ∀x↓↓∃↓`∃λα⊃(Aλ¬Bca α↓	Pλ↓@I@λαi@λα@i0λβi0λβi0λβj _)j _)j _)j _)j _)j _)j _)j _)j _)i0_αi (↓@i (↓@I (↓I0_↓I@("Qβ⊃HK∧ H∧∀@ 0↓T  @↓T P↓S`0X↓∪`0X↓S`0X↓S`0X↓S`0X↓S`0X↓S`0X↓∪`0X↓∪`0XS`0P↓∩`pPR`pH↓∪`0@↓∪`0@↓∀08↓∀08↓T0@↓T0@α∀0Hα∀0Pα∀0Xα∀0Xα∀0`α∀0`α∀0`α∀0_↓↓`E↓@@08↓T0⊂↓A@E↓@`⊂8↓T0_↓↓ 5↓A eλ↓∀ %λ↓∀ $X↓@`$Pα@@$Pα@ $Pα@ $X↓@ $`α⊃(AP⊂λbA π@ P(,` ⊂α@*P@∧*0_↓↓↓ λ(@`@ ¬*_αA↓ λ'↓`_¬@)P β@a⊂⊂&↓↓`&a⊂_%A↓⊂_%A↓⊂_%↓↓ _%↓↓ _%↓↓  ε@)  ¬↓↓Pλ%↓↓⊂0¬@)0_∧AA λ&`pλ@`⊂⊂∧)P_α@  _↓`@⊂'A@@λαA(T 
H∧1 
↓@PPαS@0 ↓↓@ (S 00↓` @S0@↓  PS0@αB@∀X↓B PPR`0P↓B`∀Pαα@0H↓∩@@Pε∩@@P↓R@@P↓R@@P↓R@@P↓R@@P↓R`0Pαβ ∀X↓B PhS0@↓ 0XS0@↓@ PS 00↓↓ @S@0 ↓↓@0 ↓∀PPαQ(A`	¬CaHλ+⊂λ,@+λ,*0@)p⊂αiP⊂β@i@_βA	@⊂β@  ⊂%@`pλ↓i0⊂β@ @⊂%`pλαi _β@@_%``λα@i _α@@P_%`Pλβi _α@`_%`@λβ@i0⊂α p⊂%@` λβ@i@⊂↓ p⊂&↓p_&@`p⊂'`@⊂' ⊂0&@)Pλ&)@λ%@(T ¬Gcr`⊃α p@α∀@ (↓A _↓T  (α@@ _αT 0α@@ _αT 0α@@ _αS`08↓@`  ↓S`0h↓∪`0`↓S`0h↓S`0h↓S`0h↓S`0h↓S`0h↓T0`↓Sβ4`
T0`↓T0`↓T0`↓T0`↓T0`↓T0`↓T0`↓T0`↓T0`↓T0h↓T0h↓T0h↓T0h↓T 0`↓T 0`↓T 0`↓T 0`↓T 0`↓T 0`↓T 0`↓T 0`↓T 0`↓T 0`↓R`0_↓↓00↓∩@P⊂↓`P(↓∩@P⊂↓`P(↓∩@P⊂AP ↓∩`0⊂↓↓ 0 ↓∪P@αQ(@`
FeB⊂¬α
 ⊂∧J⊂⊂∧@j⊂∧A*⊂∧A)p_∧A)p_¬ip_'@ip_'@ip_'@ip_%E)1((a _(a _(a _(a _(a _(a _(a _(a _(a _(a _(a _(a _α*_¬`@λ(a _α*_¬`@λ(@A _α*⊂_¬`0λ(@a0⊂↓@*⊂_ε↓
⊂_(@j⊂⊂(@I0_↓@I (↓I (↓I (↓)0_↓I@ "Q↓Qh∞K∧ P∧`5⊂↓A@0λ↓T  8∧∀08∧∀ @∧∀ H↓@ 4x↓C 4x↓C 4x↓C 4x↓C 5↓C5↓C5↓C5↓C4`∪αe↓C5↓C5↓C5↓C5↓C5↓C5↓C5↓C5↓C5↓C5λ↓B`5λ↓B`0 T 0X↓A∃λ↓B`0 T 0X↓A∃λ↓B`0 T 0`↓@`∃λ↓C  _T 0pα∀ 5λ↓T 5λ↓R`0_↓R@P⊂↓∩@P⊂↓∩@P⊂R`0⊂↓∪T("βERh⊗λA @∧B* _β`P⊂∧@J⊂⊂βA 0⊂¬j⊂⊂βA  ⊂¬↓*_βA ⊂_¬↓*_∧` _¬↓*_ε@a0_(aP_(aP_(aP_(aP_(aP_(aP_(aP_&	IB0(aP_εj_ε@a@_(aP_εj⊂_εa@_(@a@_εj⊂_εa@_(@aP_¬@j⊂_ε@a0_(@aP_¬@j⊂_ε@a0_(@aP_¬@j⊂_ε@a0_α*⊂_ε@a0_α*⊂_ε@a0_α*⊂_ε@a0_α*⊂_ε@a0_α*⊂_ε@a@_↓@*⊂_ε@aP⊂↓@*⊂_ε@a` (@aP_)AP_)AP_)AP_%@`@⊂α``_%↓ 0⊂↓A P⊂%↓  ⊂α↓ P⊂%↓  ⊂α↓ @⊂%@`0λβ`@⊂&↓!⊂("Q↓rh⊗K∧ PβαA_↓T@ (↓A@00↓@ 5λ↓↓ P ↓↓a¬↓A P_↓Aa¬↓↓@P_↓α↓¬↓↓`0 ↓α 0λ↓T h↓C 5↓β 0h↓T0`↓C 5↓C0h↓T0`↓C 5↓C 0`↓T0h↓C5↓C 0`↓S∧d`∪∀0h↓C5↓C 0`↓T0h↓C5↓C 0`↓T0h↓C5↓C 0`↓T0h↓C5↓C 0`↓T0h↓C5λ↓C0`↓T 0`↓C5λ↓C@X↓A∃λ↓C 0X↓A∃λ↓C 0X↓A∃λ↓C 0X↓A∃λ↓C 0X↓A∃λ↓C 0`↓@`∃λ↓C 0h↓`∃λ↓C 0pα∀ 0h↓T 0h↓T 0h↓T 0h↓∩`0_↓@`08↓∩@P⊂↓`P0↓∩@P⊂↓`P(↓∩@P⊂↓`P(R`0⊂↓↓ 0 ↓∪P@β⊃(Dλ⊂λd"⊂π@K⊂⊂,@K ,↓ +@ ⊂ +@ ⊂ +@ ⊂ + 0 + 0 + 0 *@ P *@ P *@ P * p * p )@@p()@!⊂ )@!⊂ )A⊂()!0 )∧
⊃⊂(@!P (@!P (!p (!p (!p '@"⊂ '@"⊂ 'B⊂ &Aα(%αA⊂h%αA⊂h"Qλ!h⊂λ$⊂
RBtxαα`TxαβTxαβ Txαβ@Dxαβ@Txαβ@Txαβ@Txαβ@Txαβ@Txαβ@Dxαβ TxαβTxαα`Txαα Tx	∪`@`α∪`@hα∪`@pα∪`@pαS`@xα∪`@xαS`@xαS`@xαS`@xαS`@xαS`@xαS`@pαS`@hβ∪`@`β∪`@Xβ∩C∧P⊃(D_∞H$2⊂εAaλ*βP⊂)↓@p⊂αJ⊂(¬@  _(↓↓`('Aα '↓α _&Aα0_&Aα@⊂&↓αP⊂&↓αP⊂%A"`λ%A"`λ%Aαpλ%↓) (%↓) (%↓) (%↓) (%A	0()0()@ )@ )P 
)P 
)` 	)p λ@* π@*⊂(¬@J 0β@j@`+AhT "λ∧2λ⊂@αTPS`@XαS`@hα∪`@pα∪`@xα∪`Aα∪`Aα∪`Aλα∪`Aλα∪`A⊂α∪`A⊂α∪`A⊂α∪`A⊂αS`A⊂αS`A⊂αS`A⊂αS`A⊂αS`A⊂αS`A⊂αS`A⊂αS`A⊂αS`A⊂α∪`A⊂α∪`AλαS`Aλα∪`Aλα∪`Aα∪`@xα∪`@pα∪`@hα∪`@XαRC∧P
Q(D(∂λ$∩λεi!X'A↓P('A↓p_'Aα⊂'Aα⊂λ'Aα⊂⊂'Aα⊂⊂'Aα λ'A↓⊂λ∧)p ∧@!λ'A↓⊂λ∧)p ∧@)p ∧Ip β@ipp'CIp β@ip ∧Ip ∧@)p ∧@)p ∧@! λ'A↓⊂λ¬)p 
)p 	@)p 	@)p 	@)p 	Ip 	Ip λ@ip λ↓	p π↓)!`%πλT #εcbλ⊂@β$P
∪`@`αS`@p↓S`@x↓∪`AS`A↓∪`A↓∪`AλS`AλS`@@B∀xαα⊂@S`@@S`@@S`@8↓∪`@0↓SaTxεS`@0↓S`@8↓∪`@@S`@@S`@@S`@@S`Dxα∪`Dxα∪`Dxα∪`Dxα∩AtPπQ(D8⊂	∧2⊂εAaλ*βP⊂)↓@p⊂αJ⊂(¬@  _(↓↓`('Aα '↓α _&Aα0_&Aα@⊂&↓αP⊂&↓αP⊂%A"`λ%A"`λ%Aαpλ%↓) (%↓) (%↓) (%↓) (πβ)0 πβ)0(	A	0(	A	@ 	A	@ 	A	P 	↓	P(λA	` λA	p λ↓
 π ⊂_(A!0⊂@j 0β@`0⊂*β`λ+AhT $λ∧2λ⊂@↓` π∩A` π∪`@pα∪`@pα∪`@pα∪`@pα∪`@pα∪`@pα∪`@pα∪`@pα∪`@pα∪`@pα∪`@pα∪`@pα∪`@pα∪bdx∪`@pα∪`@pα∪`@pα∪`@pα∪`@pα∪`@pα∪`@pα∪`@pα∪`@pα∪`@pα∪`@pα∪`@pα∪`@pα∪`@pα∪`@pα∩A` π∩A` π⊃(DHπ∧$∩λβI p'A	p 'A	p 'A	p 'A	p 'A	p 'A	p 'A	p 'A	p 'A	p 'A	p 'A	p 'A	p 'A	p 'A	p 'A	p %βI p"Q	!_λD⊂ πSAu(α∃ E(α∃ E(α∃ E(α∃ E(α∃ E(α∃ E(α∃ E(α∃ E(α∃ E(α∃ E(α∃ E(α∪ 8α∩`@0α∩@`(α∩@`(α∩@`(α∩@P(α∩`⊂@↓S⊂0↓S ⊂ ↓S@d("∩d"(⊂H p∧BI p∧BIp λ↓	p λIp λ)p π@)p π)p ε@)p ε)p ¬@)p ¬)p ∧@)p ∧)p β@Ip βip αA)p α   'A0λ↓A	p ↓ P 'A⊂λβA	p(∧↓	p ¬↓	p ¬A	p ¬A	p ε↓	p εA	p εA	p π↓	p πA	p πA	p λ↓	p πAI p∧β	 p∧βλT &εCRλ⊂@↓tPπS`Dxα∪`Dxα∪`Dxα∪`Dxα∪`Dxα∪`Dxα∪`Dxα∪`Dxα∪`Dxα∪`Dxα∧∀xα∧∀xα∧∀xα∧∀xαβ`$xαβ`$xαβ`∀xαβ@$xαβ 4xαβDxαα@dPRC∀("∪%αX⊂H H
BI H
BIp 
A)pλ@b0λA	pλ@b0λA	pλ↓b⊂λ↓↓	pλ↓b⊂λ↓↓	pλ↓b⊂λ↓↓	pλ↓@apλ↓A	pλ↓@apλ↓A	pλ↓@apλ↓A	pλαaPλα↓	pλαaPλα↓	pλαaPλα↓	pλα@a0λαA	pλα@a0λαA	pλβa⊂λβ↓	pλβa⊂λβ↓	pλβa⊂λβ↓	pλβ@`pλβA	pλβ@`pλβA	pλβ@`pλβA	pλ∧`Pλ∧↓	pλ∧`Pλ∧↓	pλ∧@`0λ∧A	pλ∧@`0λ∧A	pλ∧@`0λ∧A	pλ¬`⊂λ¬↓	pλ¬`⊂λ¬↓	pλ¬`⊂λ¬↓	pλ¬@a0 &A!⊂_¬A	 Xβ``p%α`pλβCHT 'λ∧2λ⊂@↓⊂`¬RA X¬S`PpαS`⊂λαβ`∀x@@@pS`⊂⊂αβ@∀x@`@hS`⊂_αC∀xA@`S`⊂(αα`∀xA @XS`⊂0αα@∀xA`@HS`⊂8αα ∀xB@@S`⊂Hα↓`∀xB @8S`⊂Pα↓@∀xB@P(S`⊂Xα↓ ∀xC@ S`⊂`α↓∀xC @_S`⊂pα@∀xC@@⊂S`⊂xα ∀xDTxDTxD DxD DxD@4hαD $P¬C@$P¬C`∀("∪dα ⊃HA@@*``_)a _(@a@_'A↓` '@b_'b _&Aα  &↓α@ &↓α@ %A"@(%A"@(%Aα` %Aα` %↓"`(%↓"`(%↓"`(%↓"`(%↓"`(%↓"`(%↓"`(%↓"`(%↓"`(%A"@(%A"@(%A"@(&↓α@ &↓" (&Aα  '↓α '↓α 'A↓` (↓↓@ )a _*``_+αλT (πβrλ⊂@αTPS`@PαS`@`αS`@hα∪`@pα∪`@pα∪`@pαS`@pαS`@pαS`@pαS`@pαS`@pα∪`@hαS`@hα∪`@`α∪`@PαSb∀xα∪`Dxα∪`Dxα∪`Dxα∪`Dxα∪`Dxα∪`Dxα∪`DPπ∩Ad("∀$α ⊗λA@@*``_)a _(@a@_'A↓` '@b_'↓α &Aα  &↓" (&↓α@ %A"@(%A"@(%Aα` %Aα` %↓"`(%↓"`(%↓"`(%↓"`(%↓"`(%↓"`(%↓"`(%↓"`(%↓"`(%Aα` %A"@(%A"@(&↓α@ &↓" (&Ap βA	` α@ @λαA	` α `λα↓	p ↓@ pλ↓↓
 ↓ pλA
 _@ p *↓P_∧@*`@@!⊂λ/@Aλ/@@p⊂/@``⊂/A@_/BLH0α⊂81↓λT )λ$B⊂⊂@α4P
S`@HαS`@Xα∪`@`α∪`@`αS`@hαS`@hαS`@hαS`@hαS`@hαS`@hα∪`@`αS`@`α∪`@Xα∪`@Hα∪adxαα4xαα 4xαα@4xαα@Dxαα`4xαα`Dxαα`Dxαα`Dxαα`Dxαα`Txαα`Txαα`Txαα`P8S`@Xβ↓@∀xαβP0RA`@α↓ ∀Pπα @_X`T("∀bA@⊃H@`0β)`P↓@IP_β` ⊂&a⊂(%@a@_%@a@_%a`⊂%a`⊂%apλ%apλ%apλ%↓	0_%A	00&α)PX'β
⊂P*Ak(,A _-↓0_%"_%"_%"_%"_%Ap⊂%A`_%aP⊂%↓! _%@ _β@i ⊂↓Bi λβAHT *πd"λ⊂@#TX∞R`@HααDX↓α`@P↓∩`⊂`αα`∀XC@XR@ `αα`$P↓β@X↓∩@⊂hαβ∀PC @`R@⊂hαβ∀PC @`VE@α⊗E@α⊗E@α⊗E@α⊗E@α⊗E@α⊗E@α⊗E@α⊗E@α⊗E@α∀"%λ	⊃(E(⊂λd"λβ@pX%β@pX'A↓p('Aα⊂λ'Aα⊂λ'Aα⊂λ'Aα⊂λ'Aα⊂λ'Aα⊂λ'Aα⊂λ'Aα⊂λ'Aα⊂λ'Aα⊂λ'Aα⊂λ'Aα⊂λ'Aα⊂λ'Aα⊂λ'Aα⊂λ'Aα⊂λ'Aα⊂λ'Aα⊂λ'Aα⊂λ'Aα⊂λ'Aα⊂λ'Aα⊂λ'Aα⊂λ(bλ(↓↓pλ(↓↓pλ(@a`λ)a@⊂)@a ⊂*↓`_*BK0"Q
b⊂∩λD⊂εBa$PεBa$pαD@Dxα∧`∀xα∧`∃α∧ ∃α∧ ∃α∧ ∃λαβ`∃λαβ`∃λαC@∃⊂αβ ∃⊂αβ ∃_αα`∃_αα`∃_αα`∃ αα ∃ αα ∃ αα ∃(α↓`∃(α↓`∃(αA %0α↓ ∃0α↓ ∃8α`∃8α`∃8α`∃@α ∃@α ∃@β⊗ EHα⊗@%P↓⊗@$("∃fβ⊂⊃λ hαC pP%β PhβBI`(εA!` '↓↓p π@Ip π↓↓pλ'A↓` π@)p π↓!`λ(↓↓P(ε@* εA!Pλ(↓↓@λ↓↓↓@λ(A↓0λ↓↓↓0λ(A↓0λ↓↓↓0λ(A↓ λα↓↓ λ)↓↓⊂λα↓↓⊂λ)↓↓⊂λα↓↓⊂λ)↓↓λβ↓↓λ)↓ pλβ↓p⊂)Apλβ↓pλ)A`⊂β↓ `λ)A`λ∧↓`λ*↓Pλ∧↓Pλ*↓Pλ∧↓Pλ*↓@λ¬↓@λ*A0λ¬↓0λ*A0λ¬↓0λ*A λε↓ λ+↓⊂λε↓⊂λ+↓⊂λε↓⊂λ+↓!`(+A↓` +A↓` +@b_+@b_,B⊂," λ"Qα⊂∩λ$⊂λεAADXεAAEαCUαC %λαC∃⊂αα`∃⊂αB ∃_αα ∃ α↓`∃ αA ∃(α↓ ∃0α`∃0α@ %8α ∃@α⊗UHα⊗ U@βV⊂⊂α∃`⊂_αU@  α∃@⊂0α∃ ⊂8αU @α∃⊂Pα∀`⊂XαT@ `α∀@⊂pα∀ ⊂xαT!α∪@Ppβ∩A0PεRA0PεQ(EH⊃	∧∩λβ!@H%β!@H'↓"  'A"⊂⊂(↓α⊂λ(↓"λ(A↓pλ(A!P⊂)↓↓Pλ)A↓0λ)A! λ*↓↓⊂λ*↓ p⊂*Apλ+↓Pλ+↓ @λ+A0λ+A ⊂⊂,↓⊂λ,↓+⊂ ,A⊂ ,A⊂ ,A⊂ ,A⊂ ,A⊂ ,A
@p*βHT -εβBλ⊂@"dX∩``Xα∩`@hα∩`0hα∩` hα∩@ pα∩@ hα∩@ hα∩@⊂hα∩@⊂`α∩@⊂`α∃@E0α∃ E α∃E_α∀`E⊂α∀ @`T @`T@hT@hS`@pS@@p↓∪@@p↓∪ @xS @p↓∪@p↓R`@pα∩`@`β∩BtPQ(@
π$∩λε)!H'A↓0('A↓P_'A↓`⊂'A↓pλ'A↓p⊂'A↓p⊂'Aαλ'Aαλ'Aαλ'Aαλ'A	p 'A	p 'A	p 'A	p 'A	p 'A	p 'A	p 'A	p 'A	p 'A	p %βi x"Q∩ ∪HD!λ↓⊗`%Pα⊗@EHβ⊗ ⊂λα⊗⊂⊂αV⊂_α∃`⊂ αU`⊂(α∃@⊂0αU@⊂8α∃ ⊂@αU ⊂Hα∃⊂PαU⊂Xα∀`⊂`αT`⊂hα∀@⊂pαT@⊂xα∀ ⊃αT ⊃λα∀⊃⊂αT⊃_α∪`⊃ αS`⊃(α∪@⊃0αS@⊃8α∪ ⊃@αS ⊃Hα∪⊃PαS⊃Xα∩d$X⊃∩DD("Dα ⊃HA@@*``_)a _(@a@_'A↓` '@b_'↓α &Aα  &↓" (&↓α@ %A"@(%A"@(%Aα` %Aα` %↓ @λε @(%↓ @λε @(%↓ @pα↓) (αβ@@(%↓ @pα↓) (α!@λα↓) (α!@λα↓) (↓) (↓)0 ↓	0(
↓)0(
↓)@ 
↓	@(	↓)P 	↓	` λ↓	` λ↓	p π↓
 ε↓
 _¬j@_βj`@"Q1h⊂λD pV∃8↓U`58↓U@U0αU@U(@@E(@@E(@@E @`U AE AE_A U_A@E_A@E⊂↓↓@U⊂BE⊂BE⊂BEλB@EλB@EλB@ECECECDxC TxC@DxC@DpC`Tp↓β`D`αC TP∧B↓DP∧B↓D("↓βAx⊂H ↓`%π	!`%# λ%# λ%# λ%# λ#A Pλλ)pλλ)pλλ)q⊂'DIq⊂'@"λ'@"λ'@"λ#A λ
) λ
) λ
) λ
) λ
)!`%π	!`"QR⊃H$⊂⊂∩D∧xαβ@Dxαβ@Dxαβ@Dxαβ@Dxαβ@Dxαβ@Dxαβ@Dxαβ@Dxαβ@Dxαβ@Dxαβ@Dxαβ@Dxαβ@Dxαβ@Dxαβ@Dxαβ@Dxαβ@Dxαβ@Dxαβ@Dxαβ@Dxαβ@Dxαβ@Dxαβ@Dxαβ@Dxαβ@Dxαβ@Dxαβ@Dxαβ@Dxαβ@Dxαβ@DPπ↓↓dPπ↓↓d("↓CRλ⊂H ↓`%π	0 λAI0(	@i@(	@IP 	@IP(	@I`(	Ip 	@* 	*(λ@*⊂(λ*  )↓*0(*↓
@(*A
`⊂+*Pλ**@λλ@*0λ	* λ	@*⊂λ
*λ
Ipλ
@I`λ
@IPλIPλ
@i@λ	AI1X%πλT βH∧B⊂⊃↓PpαS↓⊂P∧S↓ @¬∩a@0ε∩` 0α↓@@0↓∩@ @α↓@@↓∩@⊂P↓A0PR@⊂X↓@@0XU@0⊂↓U` ⊂↓∃`e8β⊗E@α⊗E@α⊗E@α⊗E@α⊗E@α⊗E@α⊗E@α⊗E@α⊗E@α⊗E@α⊗E⊂λ∀B∧("αβRλ⊂H q(D
p +A
p +A
p *α*⊂ ↓↓⊂ 'A@ ↓A	P β↓P &↓p β↓	@ βA` %A↓ βA	 (∧↓p(%↓! βA) (∧↓p(%↓! βA) (∧↓p(%↓! βA)0 ∧↓p &↓p β↓	@ βA` &A` αA	p α↓0 (A  A
@H+A
p +A
p +A
⊃(DλT ∧H∧Bλ⊂Bα¬⊂λ⊗E@α⊗E@α⊗DPαB @HαS@@ααD`αα@@α∪ @8α↓`Dhα↓`@8α∪ @8α↓`Dhα↓`@8α∪ @8α↓`Dhα↓`@8α∪ @8α↓`Dhα↓`@8α∪@08α↓`4pα↓@@0α∪@@0α↓@Dxα↓ @(α∀0(α↓ 5λ↓A@ ↓T@0_α`5_α @λα∃A¬@α⊗E@α⊗E@α∀B¬⊂λ⊃(@P∂HD"⊂¬B*0 αA
⊂_¬@j_ε@ip_π@i` πA	P λA	@(λA)@ 	A	0(	A)0(	A)0(	A)0(	A)0(	A)0(	A)0(	A)@ 	A	@(λA)P λA	P λA	` πA	` πA	p_π@j_ε@j_ε@j⊂⊂ε@J⊂_¬@i λβ@A0⊂β@) λβ@A0⊂β@)0λβ@!0λβ@)0λβ@A⊂⊂β@)0λ∧!⊂λ∧)0P∧BI@H∧B)@H∧B(T _¬αrλ⊂↓`dx↓A4p↓A@4h↓B4`↓B@4`↓B@4Xαα@DX↓C4X↓C4X↓C4PαβDPαβDPαβDPαβDPαβDPαβDPαβDPαβDPαβDPαβDPαβDPαβDPαβDPαβDX↓C4X↓C4X↓C4Xαα@D`↓B@4`↓B@4h↓B4p↓A@4x↓A5λβ⊃(Cλλ¬$α∧@* ⊂)J⊂_(↓	`0%↓@⊂_%↓0_(@j⊂_(@j⊂_(@j⊂_(@j⊂_(@j⊂_(@j⊂_(@j⊂_(@j⊂_(@j⊂_(@j⊂_(@j⊂_(@i0x%ChT →¬#αλ⊂↓@dp↓↓ 4hB4`B@4`B`4XC4XA⊂@↓R`⊂ B4PA@⊂8α∩@⊂0A`DPA@⊂8α∩@⊂0A`DPA@⊂8α∩@⊂(BDPA ⊂8α∩`⊂_B4`↓B 58↓U@%(↓∃%_T %S`∀xC@∀pC`∀hC`$hC`$hβA`4`↓aT`AA$`Bt`B@D("b10⊂Hp0'@@P_'!⊂⊂&@!0⊂&!@_&!P⊂%@ @λ∧@i0λα!⊂_%@ Pλ∧i0λα@!_%@ Pλ∧i@λ↓@!⊂⊂&@a⊂_,@Jp_(B
⊂8*@jp_,k ,@k⊂ &!@ %@a0 %↓!  %↓!  %↓↓0 % ⊂λεi0λεi@λ¬@iPλ∧@i`⊂α@j0"QεA0
D`U 5(↓U 5(↓U 5(↓U 5(↓U % ↓U5 ↓U5 ↓∀`5_↓T`%_↓∀@5⊂↓∀ 0(T  (↓T0(↓T 0↓S`00↓S` 8↓S@ @↓S 0@↓Sp(↓Ra0⊂↓R@00∧`∀XBA%@β⊗5@↓V5@↓V5@↓V5@↓V ∀("
"A8⊂H0⊂ε)P β@iPp&C)PX&@  0&@)Pλ&@)Pλ&@)Pλ&@ @0&@  ⊂α@IPλ@!_&@A ⊂&@!0_-k _-↓  -↓	0_ε↓	 (¬A	 (¬A	 (¬A	 (¬@i ⊂εA	0λε@i0⊂¬A	@⊂¬iP_β↓	`X(↓HT ≠¬αrλ⊂α@U⊂∧T@0↓∪`0@↓S@0@α∪ 0@αS 0@αS0P↓S4Xα∩`4X↓R@@ αR@@⊂↓↓ $Pα ⊂@↓∩@@λB $PαB@4PαB`4Pαβ4PαβDPαβDPαβDPαβDPαβDX↓CDX↓CDXαα`4`↓B`4`↓B@Dh↓B 4h↓B4pα↓ 5∧T d("
bQ8⊂H λα↓↓⊂λ&  8∧)@λBpλ&α``λ&↓ @⊂α@)0 β@@0⊂%@a⊂0%@A`⊂%@!pλ%@!`⊂%!p⊂%!p⊂,@K⊂⊂,@K_,k_+A
p +@jp_+@j` +↓
` +↓
` +↓
` +↓
` +↓
p⊂"Qπ↓ H$8β∪a$p↓A@Dh↓α@4`↓β$`C@$X↓β@$X↓β@$X↓β@$X↓C $Xαα`$`αB ∀hβ↓@∀hβ@`$x∧Tuλ∧∪` ⊂βS@ (β∪ ⊂@β∪ PαR` `α∩` p↓R@ x↓R@!↓∩@!↓∩@!↓∩@!↓∩` p↓∩`0hS0X↓∪ @0α∪A5λβ⊃(CH
¬d∩βAIpP'`P &@a_&a⊂_%A↓ _%@a0_%@a0 %↓↓@_%↓↓@_%↓↓@ %↓↓@ %↓↓@ %↓↓@ %↓↓@ %@a@ %@a0(&a (&@A⊂λA	`⊂∧ ⊂ '@@P⊂↓↓
⊂(α↓ _-k⊂ ,@i@_¬i0(∧i0(∧i0 ∧i@⊂∧i@⊂β↓	PP'AHT ∩εCb⊂⊃β@e8↓↓ ∃0↓↓`∃(↓α ∃ ↓B@∃ ↓α`∃_↓B E_↓BU_↓BU_↓BU_↓B 5_↓T`5_↓T`5_↓SaDxε∀`5_↓T`5_↓T`5_↓T`5_↓T`5_↓S!⊂hRa pR`  ββ∀P↓↓@pHR@ (↓`P(↓∩@  ↓↓A∀`αB d("	Cr_∩λ``('`@⊂ε@IP⊂∧!0 &a⊂λ¬↓	@⊂¬!0_%@a⊂λ@!@λ%@A⊂ ε) _∧↓!0λ%a(¬@) _∧@a0λ%a λ¬@) _) _
I _α↓↓0λ@)0⊂↓@@λ∧@0λ%A `λβ `λ&↓`λα@!λ&`pλα! λ&`pλα!0λ%@`⊂⊂α Pλ¬@)0_↓↓ `λ↓@pλ%↓↓PλApλ%↓↓`(β@)  π@aλ%↓β λ%↓β λ%↓β λ%↓β λ%@c⊂λ%Aβλ&bpλ&@b`λ'b@λ'@b λ(↓↓`⊂)↓↓⊂_*BHT ∨D"R_⊃A@dxA $pB$hB@∀`B`$XC $XC $XC $PC@$PC@$Pαα@4PαB4PαA`DPαA@DX↓A@E_α∀@Eλα∀Dx↓S`$x↓↓@∀x↓↓@∃A ∃↓`%λα⊃`P@↓T UλαT U⊂↓Q(CpλED1@β@j((↓*((@hp(β↓	pλ↓@I`λα@)`λα@I`λα@J@⊂)@j⊂ (↓	p '↓	P βi@ β↓)0 βA)0_∧↓) _¬↓	 ⊂π) ⊂π) ⊂ε@) ⊂ε@) ⊂ε@)0⊂¬@)@λ¬)@⊂∧)`⊂α@)p0"QβRH⊗λ$⊂P∞∃βE@@`@XαV⊂_αβ 5@@`@p↓∃`⊂ αβ`∃8A@x↓∃`⊂ αβ`%0A AU@⊂(α∧∃0A AU ⊂0αα ⊂0U ⊂0αα ∃(A@@HU⊂8αα ∃ A`@@↓∃⊂8α↓`5_Tbu⊂↓α@8↓T@⊂Hαα%⊂B @HB∃λ↓α @HB∃λB@@HB∃λB@@HA`∃B`AλT⊂Xα∧ ∃B`AλS`⊂`α∧$xC@x↓S@ `αβ@Dhαα`@`αRA  RA  Q(Ap⊗$2⊂ε↓j0 αEj _∧E* ¬↓↓@('A↓0 πi` ε@ap⊂'↓↓P_λ)P πb⊂&↓!`_λI@ π@b⊂λ%A!p_¬@ Pλ%A!p_¬@ Pλ%Aα_¬@ Pλ%Aα_¬@) (λa ⊂%↓"_∧@i (λβi (λβi (λa⊂_%↓"_¬I (λa0λ%↓"_¬@) (λa0λβ@)0(π@a0λβ@)0(π@b0λ%A!p_	)@ π@b λ&↓!`_	)P πb λ'↓↓P_λ@I` ε@b_'A↓0 πA
 ¬↓↓P()a⊃0)AQ@+↓hT ∂H∧B(⊃G∃0∧↓`% ↓A@0(T@0P↓@@∃λ↓β@Dx↓D4x↓∧ 4p↓D⊂λ↓S 1λ@@4`α∧⊂_α∪1A 4Xα∧⊂(α∩`@xA@DX↓C`⊂@↓R`0p↓α4Pαβ@⊂Hα∩@@hB@DPαβ Pα∩@@`B`DPαα`⊂`α∩@@P↓βDPαα@⊂hα∩@@HC@DPαα pα∩`0@C`4Xα↓@⊂xα∩`@(DD`↓A ⊃↓S@_DDh↓@@⊃λ↓S@0λD4pα∧ 4x↓D4xαβ@4x@@0P↓S@⊂(↓A@4h↓↓a∧hQ(BλαBD2_@i (%↓) (%↓) (%↓) (%@i0_%@i0_%@i0_%@i0_%@i0_%@i0_&)@λ&)@λ&)@λ#A ⊂_%↓) (%↓)0_"Qπ@(¬λcλ↓R@TPαR@TX↓Q`P⊂S∀`S∀`S∀X↓R`4X↓R`4X↓R`4X↓R`4X↓R`4X↓R`4PαR@TPαR@TPαR@TPαR`4("λd"0⊗λB⊂∧@K ⊂∧@K ⊂∧@K⊂⊂∧@K⊂⊂∧@K⊂⊂∧@K⊂⊂∧@K⊂∧@K⊂∧@K⊂∧@K⊂∧@K⊂∧@Jp⊂∧@Jp⊂∧@Jp⊂∧@Jp⊂∧@J`⊂∧@I"⊂%λJP⊂∧@JP⊂∧@JP⊂∧@JP⊂∧@J@⊂∧@J@⊂∧@J@⊂∧@J@⊂∧@I"⊂%λJ0⊂∧@J ⊂∧@J ⊂∧@J ⊂∧@J ⊂∧@J⊂⊂∧@J⊂⊂∧@J⊂⊂∧@J⊂⊂∧@J⊂∧@J⊂∧@J⊂∧@J⊂∧@Ip⊂∧@Ip⊂∧@Ip⊂∧@HT ∩HDb8∩↓ A_↓∪   D@$h↓↓ ⊃↓∪ 8C 4X↓A`0P@ $X↓α⊂⊂¬ $P↓B ⊂`↓∩@0HB`$P↓B ⊂P↓∩@0HB@$P↓B ⊂H↓∩@0HB$P↓B ⊂@↓∩@0HA`$X↓α⊂8↓∩`08A`$`↓↓`⊂0↓∪  (A`$h↓↓⊂8↓∪`@8↓αEP↓↓`⊂ V  8↓↓ ∃@↓↓` 0V 0↓A`∃8↓↓` @U` 8↓α ∃0↓↓`0HU  @↓B ∃(↓α0HU H↓B ∃_↓α@0HT` P↓B ∃⊂↓α`0HT  h↓α ∃λ↓β  @T p↓A`∃↓β` 0S`!λ↓↓ ∀p↓∧`⊂ S`⊃ α⊃(B8βαab⊂@i (%↓I 0%@`⊂λ'@)pλ'@)pλ')`λ&@)Pλ&)0λ"Q¬`λ$@XU∃_T@∃λT$x↓∪`∀p↓∪ $h↓∪ $`↓∪$`↓∩`4X↓∩`$X↓∩@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R`$X↓∩`$X↓S$`↓∪$h↓∪ $h↓∪@$xS`%↓∀ ∃⊂T`∃ U ∀("
!A_Iλ%@)@λ&@)`λ'Ip⊂(*⊂(@J⊂⊂(@J ⊂)J ⊂)j0⊂)@J0⊂)@j0_)@j0_)@j0_)@j0_)@j0_)@j0_)@J0⊂)@J _)J ⊂)J⊂⊂(@J⊂⊂(Jλ'@I`⊂')Pλ&)0λ%(T ∃∧Ba ∩α%⊂↓∀@%⊂↓∀@$P↓↓@ 0↓∩@@ ↓↓D`↓@` _↓S@0λ↓ 5β∀@%β∪@0λ↓ 4`↓@` _↓R@@ ↓↓DP↓↓@ 0↓∀@%⊂↓∀@%⊂↓∀@$("
dα ⊂G↓p⊂,@K⊂⊂,@K⊂⊂,@K⊂⊂,@K⊂⊂,@K⊂⊂,@K⊂⊂,@K⊂⊂,@I"%λ⊂⊂,@K⊂⊂,@K⊂⊂,@K⊂⊂,@K⊂⊂,@K⊂⊂,@K⊂⊂,@K⊂⊂,@HT ⊗↓A0pα 4PαR@dPβ∩`0λS`∀xS`∀xS@∀pS ∀hS∀XQ(BpαB@@ @i (%↓) (%@hT ↔DBc∩∧ ∃P↓⊗ %H↓⊗ %@↓⊗%@↓∃`%8↓∃`%0↓∃@%0↓∃ %(↓∃ % ↓∃% ↓∀`%_↓∀`%⊂↓∀@%⊂↓∀ %λ↓∀ %↓∀%↓∪`$x↓∪`$p↓∪@$p↓∪ $h↓∪ $`↓∪$`↓∩`$X↓∩`$P↓∩@$("∞@PP
¬⊂_%↓) (%↓)0_#B`⊂_%↓) (%↓)0_"Qπ0(¬πB@λ↓R@TPαR@TX↓Qa0λ↓R@TPαR@TXα∪@∀pS@∀pS ∀hS ∀`R`∀XQ(Ch⊂	↓1λλ	"#Bα%λλT  λ∧B⊂⊃β↓¬ ↓α%⊂↓β%λD∀x↓∧@$xE∀pE@∀hB `HS⊂@↓A ⊂HS⊂8↓α 8R`⊂8↓α`⊂8R`⊂0↓β@ R`⊂(↓C 0 R@⊂0↓C 0(R@⊂(↓C@0(R@⊂(↓C@0(R@⊂(↓C@0(R@⊂(↓C@0(R@⊂(↓C@0(R@⊂(↓C@0(R@⊂(↓C@0(R@⊂0↓C 0(R`⊂(↓C 0(R`⊂0↓β@(R`⊂8↓α`@ S⊂8↓α λ↓A∀`B0(A _S ⊂Hβ↓@DpS`∀x↓∀ ⊃ α∀@!α∃ PαUA$("⊗`ph_	8%↓i ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%↓i 8"QP8∧L∧@βR@tx↓∪`$x↓∪`$x↓∪`$x↓∪`$x↓∪`$x↓∪`$x↓∪`$x↓∪`$x↓∪`$x↓∪`$x↓∪`$x↓∪`$x↓∪`$x↓∪`$x↓∪`$x↓∪`$x↓∪`$x↓∪`$x↓∪`$x↓∪`$x↓∪`$x↓∪`$x↓∩@tPβQ(FβαAb⊂α)Pλ&)@λ%@)0λ%) λ%) λ% ⊂_%↓I 0%A)@_"Qα @πB$ ↓R@4Pα∩`4`↓S 4p↓∪`%↓⊃(A_∧∧a∩⊂α@ip_'↓	`_&@i@_&I0⊂%HT 
βα0(∂ @↓∩` 0↓∪0⊂↓S dx↓⊃(A(π¬↓α⊂!@λ%!@λ%!@λ%@! λ%@! λ%@A⊂&`@_&B	p "Qαa⊂β@	⊃(A8¬ε↓α_↓A	0⊂αI0λβ) λ∧) λ∧) λ∧)0λβ)0⊂αIP "P`ε∨␈x␈␈`↓`∧␈␈x␈⎇←␈x␈␈@@_'↓*⊂_)j0_)j _%B) λ"Q∧`ε↓α H↓∀dhβ∩@dX↓⊃(Epε∧`bλα@I` &@@ ⊂&@@⊂%@@`⊂%A⊂%! λ"Qp(¬↓∧⊂λ↓R@TPαR@TX↓Q(Ghπ¬!∩⊂↓@`P_&@`P_&@`P_&`P_&@`⊂&@`⊂%@@`⊂%@@`⊂%@ pλ"Q∂a
A∧ ↓B∀hαA@∀`↓` _↓∩`⊂0αR@⊂@↓Q(Gxπ¬Bλ@``_%↓ @(%↓ @(%↓ @(%@``_"Q∧!	CD λ↓A`4PαA TPβ↓dPβ↓dX↓@ ⊂(↓@ ∀xB ∀xB ∀xB ∀xB ∀pB ∀pB ∀hB ∀hB ∀`B ∀XB ∀("!0hB`X%αhT .∧αpp⊃↓⊂HS ⊂HS⊂HS⊂HR`⊂HR`⊂HR@⊂HR@⊂HR@⊂HR@⊂HR@⊂λ↓A ⊂λ↓R@` β∩@` β∩`P(αS08↓Q(GXε `ελT >&0εε∀(wCM⊗ 2[NFH3~,W⊂⊂⊂iU(wE,6x2~-f89Xmε(6Y$¬ 2V∧π 2↑∞Nxε→Mvp:→L⊗_2XO↔ 2|`∞P∨∞ P↓_⊂∀≤ α>fpα>f␈x␈␈␈pε?x␈␈}0∧O0λ@Pqc@⊂K↑`λ⊗↓c@r@αλF⎇@"Pβ*U0∧!{dPελW∨0α	XG∞@⊃O≡`(∀↓N_Gα_J⎇@b8β∞≤@∧B{↓e εU*`	∩?0∧	``8r∩A≡`H∃↓U(+α(K⎇A"8β∞≤@∧bp{αd⊂¬*U0βJ?0επ@HcG πL↑`h⊂↓#@q@xn⎇AcβjU(α	`{βfπcG∧6∨0λ∧ (*U ¬Z}aλ	\8∞@X[=B!`α≤8pεn({∧c@∧8q`
←o0
π@qc@≠E}a(∞↓∞_Gβ8↔=Ba`α≤8pεu({¬eε8q`
ko0ε @≠a>aH∞@↓∃(,`λ⎇C"8β∞≤@↓LP{εdpε≤9β(␈0∞π@qc@εr↑ah_↓u(+αhf⎇Cc(∧#G_¬i0{πe εU*`m?0⊂β@ 8q@≠l>bλλ@U(*@β∨=D!`α≤8pπ¬({λe@π∞≤P→O0∩λ`X∞≤@∃h}b(⊗↓c@r@βλ?⎇DbPβ*U0¬A`{	b⊂αU*PNo0∀¬@8∞≤@→'>bHq`9β_∧=E!`α≤8pε7_{
e εU*`xO0⊗∧ (*U ~β}bh	@c@q@β@N=Eaλ↓*U(εC0{c@∧8q`
λ␈0_π@qc@∪4}cλ∞↓∞_Gα8/=F!`α≤8p∧zX{c@∧8q`
πO0~π@qc@∀0>c(∞↓∞_GαH≤=Fa`α≤8p¬~X{
c@∧8q`
F∂0≤π@qc@∃'>cH∞↓∞_GαX∂=G!λ↓*U(εK{∞b⊂αU*P
→←0≡∧ (*U _!>ch∃↓U(+β ␈=Ga`α≤8p¬V⊂{∂c@∧8q`≡␈0 
@h*U@~C}dλ∀↓N_G↓⊂m=H"0βπ∞(α5h{⊂dpε≤9∧|/0"
 h∞≤`
→}d(∩@↓<8∞@↓ w=Hb_αjU0αWX{⊃e ε\9¬>/0$
`qc@ }dH
@jPU↓8π=I!`α#G⊂αuH{∩e εU*`¬w∂0&λ@Pqc@∪}dh_↓xp≥↓@X=Ib@β≤8pβ≠_{∪e εU*`εN∂0(	 XcG 
@}eλ∃↓U(+↓X6=J"8β∃*XβC_{∀c`∧qcPπ→∂0*	``8r∞Q}e(∀↓N_G↓h]=Jb@β≤8pβdH{∃f`λU*`πZ∂0,
`qc@∂p>eH∀↓N_Gα#=K"λαU*X∧8{⊗b⊂αU*P
=O0.π@qc@≤)}ehλ@U(*@β0*⎇Ka`α≤8pε|⊂{↔b⊂αU*P
|∨00∧ (*U ≠/↑fλ∞↓∞_G⊃⎇L!Hα	 {_c⊂∧!←02π@qc@U≡f(@↓λp⎇Laλ↓*U0"P{→c⊂∧S␈04π@qc@↓H≡fHλ@U(*@_T⎇M!λ↓*U(@{~c⊂∧↓␈06β@ 8q@α=≡fh⊗↓c@r@('⎇Mapα8qh←P{≠c@∧8q`↓N?08π@qc@β2↑gλ@↓8&⎇N!8↓jU0| {≤b`βG∞ αα?0:∧@(cG ∧↔↑g(∞@↓∃(+@X⎇NaHα↓∩P{≥d@¬cG α1␈0<ε @⊃λ`¬λ↑gH
↓πλdPH⎇O!0↓cG_↓1`{≡c@∧8q`∞≥o0>
`↓λcG ≤=}gh∞↓∞_Gβ8y=Oa`α≤8pπ↓h{∨c@∧8q`∞π/Hπ∪PAw{⎇xow{⎇x